idempotent matrix proof